identification of regular language